brian cox are we alone in the galaxy